fpf-normalize(eq;g) == reduce(x,f. x : (g.2)(x)  f;;g.1) 

latex

---

clarification:

fpf-normalize(eq;g) == reduce(x,f. fpf-join(eq;x : (g.2)(x);f);;g.1) 

latex

Definitions	reduce(f;k;as), x.A(x), f  g, x : v, f(a), t.2, , t.1
FDL editor aliases	fpf-normalize